Program Analysis and Specialization for the C Programming Language Ph.D. Thesis Lars Ole Andersen

Source URL: repository.readscheme.org

• Software engineering
• Programming language theory
• Computing
• Data types
• University of Copenhagen
• Static program analysis
• Procedural programming languages
• Pointer
• TOPPS
• UCPH Department of Computer Science
• Const
• Alias analysis

CE881-7-SP MSc Progress Test Sample – Mobile and Social Application Programming Question 1 Suppose the following attribute declaration occurs in AndroidManifest.xml:

Source URL: orb.essex.ac.uk

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Cross-platform software
• Java
• IBM i Control Language
• String
• HTML element
• Comparison of C Sharp and Java

Towards Automated Invocation of Web APIs Ning Li, Carlos Pedrinaci, Jacek Kopecky, Maria Maleshkova, dong Liu, John Domingue Knowledge Media Institute, The Open University, Milton Keynes, United Kingdom {n.li, c.pedrinac

Source URL: people.kmi.open.ac.uk

• Computing
• Web services
• Software architecture
• Technical communication
• Markup languages
• Cloud standards
• Web API
• Application programming interface
• Semantic Web
• Representational state transfer
• Web Services Description Language
• Schema

A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999

Source URL: www.olejohandahl.info

• Software engineering
• Computing
• Programming language theory
• Concurrency control
• Edsger W. Dijkstra
• Monitor
• Formal methods
• Hoare logic
• Event
• Semaphore
• Concurrent computing
• Pascal

INCITS PL22.16 * PROGRAMMING LANGUAGE C++ InterNational Committee for Information Technology Standards (INCITS) Operating under the procedures of the American National Standards Institute (ANSI) INCITS, 1101 K Street NW,

Source URL: www.open-std.org

• Standards organizations
• International Committee for Information Technology Standards
• International Organization for Standardization
• Working group
• Knowledge
• Science and technology
• Science

INCITS PL22.16 * PROGRAMMING LANGUAGE C++ InterNational Committee for Information Technology Standards (INCITS) Operating under the procedures of the American National Standards Institute (ANSI) INCITS, 1101 K Street NW,

Source URL: www.open-std.org

Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract

Source URL: repository.readscheme.org

• Software engineering
• Theoretical computer science
• Logic programming
• Computer programming
• Programming paradigms
• Automated theorem proving
• Type theory
• Prolog
• Unification
• Substitution
• Interpreter
• Term

The Pivot a source­to­source framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University  

Source URL: pirkelbauer.com

• Software engineering
• Computer programming
• Programming language theory
• C++
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Const
• Template
• D
• Concepts
• ALGOL 68

Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C

Source URL: nlp.cs.uic.edu

• Computational linguistics
• Software engineering
• Programming language theory
• Computing
• Natural language processing
• Educational psychology
• Educational technology
• Intelligent tutoring system
• The Diag
• Aggregation
• IBM Basic assembly language and successors
• ALGOL 68

{ This example demonstrates how a Turn Right player can be made Turn Right is the CodeCup gamewww.codecup.nl) The use of this file and/or ideas is not compulsory The TODO’s are filled in by random moves.

Source URL: www.informaticaolympiade.nl

• Pascal
• Software engineering
• C
• P-code machine
• Programming language implementation